$\forall$$T$:Type, $a$:$T$. \{$a$:$T$\} $\in$ Type